Local resilience for squares of almost spanning cycles in sparse random graphs

In 1962, P\'osa conjectured that a graph $G=(V, E)$ contains a square of a Hamiltonian cycle if $\delta(G)\ge 2n/3$. Only more than thirty years later Koml\'os, S\'ark\H{o}zy, and Szemer\'edi proved this conjecture using the so-called Blow-Up Lemma. Here we extend their result to a random graph setting. We show that for every $\epsilon > 0$ and $p=n^{-1/2+\epsilon}$ a.a.s. every subgraph of $G_{n,p}$ with minimum degree at least $(2/3+\epsilon)np$ contains the square of a cycle on $(1-o(1))n$ vertices. This is almost best possible in three ways: (1) for $p\ll n^{-1/2}$ the random graph will not contain any square of a long cycle (2) one cannot hope for a resilience version for the square of a spanning cycle (as deleting all edges in the neighborhood of single vertex destroys this property) and (3) for $c<2/3$ a.a.s. $G_{n,p}$ contains a subgraph with minimum degree at least $cnp$ which does not contain the square of a path on $(1/3+c)n$ vertices

On the Insertion Time of Cuckoo Hashing

Cuckoo hashing is an efficient technique for creating large hash tables with high space utilization and guaranteed constant access times. There, each item can be placed in a location given by any one out of k different hash functions. In this paper we investigate further the random walk heuristic for inserting in an online fashion new items into the hash table. Provided that k > 2 and that the number of items in the table is below (but arbitrarily close) to the theoretically achievable load threshold, we show a polylogarithmic bound for the maximum insertion time that holds with high probability.Comment: 27 pages, final version accepted by the SIAM Journal on Computin

Local resilience of an almost spanning kk-cycle in random graphs

The famous P\'{o}sa-Seymour conjecture, confirmed in 1998 by Koml\'{o}s, S\'{a}rk\"{o}zy, and Szemer\'{e}di, states that for any $k \geq 2$, every graph on $n$ vertices with minimum degree $kn/(k + 1)$ contains the $k$-th power of a Hamilton cycle. We extend this result to a sparse random setting. We show that for every $k \geq 2$ there exists $C > 0$ such that if $p \geq C(\log n/n)^{1/k}$ then w.h.p. every subgraph of a random graph $G_{n, p}$ with minimum degree at least $(k/(k + 1) + o(1))np$, contains the $k$-th power of a cycle on at least $(1 - o(1))n$ vertices, improving upon the recent results of Noever and Steger for $k = 2$, as well as Allen et al. for $k \geq 3$. Our result is almost best possible in three ways: for $p \ll n^{-1/k}$ the random graph $G_{n, p}$ w.h.p. does not contain the $k$-th power of any long cycle; there exist subgraphs of $G_{n, p}$ with minimum degree $(k/(k + 1) + o(1))np$ and $\Omega(p^{-2})$ vertices not belonging to triangles; there exist subgraphs of $G_{n, p}$ with minimum degree $(k/(k + 1) - o(1))np$ which do not contain the $k$-th power of a cycle on $(1 - o(1))n$ vertices.Comment: 24 pages; small updates to the paper after anonymous reviewers' report